Формальная Философия для всех!
Многие люди боятся программирования, а когда стают успешными программистами, начинают боятся математики. Когда стают математиками, начинают боятся философии. Мотивация этого поста — отсечь страхи и показать путь непосредственного восприятия реальности.
Сегодня наткнулся на одну непровереную цитату из одного проверенного источника: "Knowledge is as infinite as the stars in the sky. There is no end to all of the subjects that one could study. It is better to immediately get their essence — The unchanging fortress of pure awareness." Для начала нужно успокоится, что все знания мы понять не сможем, мы можем лишь попасть в состояние, в котором куда бы мы не обратили свой взор, всё становится понятным и природа вещей этого феномена переживается непосредственным образом. С такой настановкой и намерением мы поговорим про Формальную Философию (ФФ)!
Как вы знаете, в первом посте ФФ мы познакомили читателей с современными методами ФФ, накидав достаточное количество хлебных крошек, но в первом же предложении было такое: в ФФ допускаются модели разной степени фричества. Почему? Этот пост и есть ответ развёрнутый ответ на этот вопрос.
Чтобы расширить ФФ для программистов дадим следующее определение ФФ: любой наблюдаемый феномен записаный на языке программирования — уже ФФ. Во-первых, даже если без кванторов, мы же можем на любом языке написать язык с кванторами и писать уже на нём. Но даже и без кванторов можно мыслить о реальности. Будучи в школе, и читая книги по ООП, помню как в одной из них приводился пример "моделирования" яблока: яблоко инкапсулирует свою структуру "косточки", "мякоть"; и предоставляем методы: "укусить яблоко", "выбросить яблоко". Читая эту книгу я сразу понял, что "прострелить ногу" — это тоже модель ФФ. Мне показалось тогда это дикостью и я еще долго привыкал и переучивался из процедурного программирования в ООП, паралельно программируя драйвера для видеркарт. Но позже я понял, что использовать язык программирования для структурирования своей жизни хорошая идея, когда я пытался разобраться в своем подсознательном или просто был воодушевлен какими-то моделями, я сразу пытался записать их на языке программирования, тогда это был Pascal. Во всех случая я понимал что я пишу шизофрению даже до старта формализации, но, с другой стороны это помогало перерости феномен, сделать его интересным или не интересным.
Например, с точки зрения человека живущего 100 лет назад, современный геймдев — это самая что ни на есть формальная философия. Формализированы целые миры, социальные системы, зачатки линейной регресси, можно ебать шлюх в GTA, можно летать, можно получать удовольствие, работа с эмоциями — всё это не что иное как аспекты личности или сознания, материал для ФФ.
Теперь-то я понимаю, что нужно было начинать не с моделирования окружения феноменов или создания игр, а начать сразу с моделирования своего создания, потому, что рано или поздно при достаточно стабильном прогрессе, всё должно завершится формализацией сознания. Просто никто не начинает сразу с сознания, сначала тренируются на кошках, так как хорошая модель сознания должна включать всю математику или хотя-бы симплиациальную геометрию. С другой стороны начинать с моделирования яблока тоже не стоит как ООП олигофрены, но я верю что можно построить модель условного яблока, так что от нее не захочется блевать математику. Кстати ООП не такие уж олигофрены, работы по формализации ООП в кванторах, которую провёл Лука Кардели доказывает этот стейтмент. Начните формализировать то, что "качает", и вполне возможно, что к концу жизни вы постигните тайный смысл себя, а даже если у вас не получится за всю жизнь, я гарантирую, что вы нескучно проведёте время, ведь вы будете заниматься йобаным топчиком!
Если вы погуглите "Sheaf Theoretic Approach to Consciousness" Горо Като или последние работы Хенка Барендрехта, вы может не воодушивитесь так как от очередного веб-фреймворка, так как термы там не очень большие, и вообще, чем больше вы будете приближаться с ФФ, тем термы будут становится сложнее, а весь продукт или репозиторий при этом будет уменьшатся, в апогее остаётся одна формула, а остальное всё вы выбрасываете и приводите список литературы.
Просто наша жизнь слишком коротка для того, чтобы бояться, что вас назовут сайнс фриком или поехавшим. Перекатывайтесь в Формальную Философию — единственное прибежище свободы личности и творчества выраженное в мандале MLTT, освобождающее от надежды и страха.